#include <stdio.h>
int main(void)
{
    char ch;

    while ((ch = getchar()) != EOF)
    {
        if (ch < ' ')
        {
            if (ch == '\t')
            {
                printf("\\t");
                printf(":%d ", ch);
            }
            else if (ch == '\n')
            {
                printf("\\n");
                printf(":%d ", ch);
            }
            else
            {
                putchar('^');
                putchar(ch + 64);
                printf(":%d ", ch);
            }
        }
        else
        {
            putchar(ch);
            printf(":%d ", ch);
        }
    }
    
    return 0;
}